41. Logic for concurrency and synchronisation
پدیدآورنده : / edited by Ruy J.G.B. de Queiroz
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Proof theory,Modality (Logic),Parallel programming (Computer science),Electronic books. , local
رده :
E-BOOK
![](/design/images/bookmore.png)
42. Logics of time and computation
پدیدآورنده : Goldblatt, Robert
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Modality )Logic(
رده :
P
25
.
C28
No
.
7
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
43. #Many-dimensional modal logics
پدیدآورنده : #D.M. Gabbay ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Modality )Logic(
رده :
#
BC
،#.
M6
,
M34
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
44. Mathematics of modality
پدیدآورنده : / Robert Goldblatt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Modality (Logic)
رده :
QA9
.
46
.
G66
1993
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
45. Mathematics of modality
پدیدآورنده : / Robert Goldblatt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Modality (Logic)
رده :
QA9
.
46
.
G66
1993
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
46. Mathematics of modality
پدیدآورنده : / Robert Goldblatt
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Modality (Logic)
رده :
E-BOOK
![](/design/images/bookmore.png)
47. Mathematics of modality
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Modality (Logic) ;
![](/design/images/bookmore.png)
48. Mere possibilities : metaphysical foundations of modal semantics
پدیدآورنده : Stalnaker, Robert
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Possibility,، Modality )Logic(,، Metaphysics
رده :
BC
199
.
P7S72
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
49. Modal Logic for Philosophers
پدیدآورنده : / James W. Garson, University of Houston
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Modality (Logic) -- Textbooks,منطق موجهات -- کتاب های درسی
رده :
BC199
.
M6
,
G38
2013
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
50. Modal justification via theories
پدیدآورنده : Fischer, Bob
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Modality )Logic(,، Knowledge, Theory of
رده :
BC
199
.
M6F5
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
51. Modal logic
پدیدآورنده : Chagrov, Alexander
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Modality )Logic(
رده :
QA
9
.
46
.
C47
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
52. Modal logic
پدیدآورنده : Blackburn, Patrik, 9591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Modality )Logic(
رده :
QA
9
.
46
.
B56M6
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
53. Modal logic
پدیدآورنده : / Alexander Chagrov and Michael Zakharyaschev
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Modality (Logic)
رده :
QA9
.
46
.
C47
1997
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
54. Modal logic
پدیدآورنده : / Alexander Chagrov and Michael Zakharyaschev
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Modality (Logic)
رده :
QA9
.
46
.
C47
1997
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
55. Modal logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Modality (Logic) ;
![](/design/images/bookmore.png)
56. Modal logic
پدیدآورنده : Alexander Chagrov and Michael Zakharyaschev
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Logic - Modality
رده :
BC
,
199
,.
M6
,
1997
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
57. Modal logic
پدیدآورنده : / Alexander Chagrov and Michael Zakharyaschev
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Modality (Logic)
رده :
QA9
.
46
.
C47
1997
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
58. Modal logic : an introduction
پدیدآورنده : Chellas, Brian F.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Modality )Logic(
رده :
BC
199
.
M6
.
C47
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
59. Modal logic : an introduction
پدیدآورنده : Brian F. Chellas,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Modality )Logic(
رده :
BC
.
M6C47
199
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
60. Modal logic :an introduction
پدیدآورنده : Chellas, Brian F.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Modality )Logic(
رده :
BC199
.
M6
C47
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)